PBS

Reads as input both: CNF constraints, PB constraints (e.g. -2x + 3y + . + 6z <= 7, where x, y, and z are Boolean literals.) Can be used to solve decision (Yes/No) and optimization (Max/Min) problems. Includes incremental features. PBS options include: Static/Dynamic decision heuristics, 1-UIP conflict diagnosis, Random restarts and backtracking


References in zbMATH (referenced in 35 articles )

Showing results 1 to 20 of 35.
Sorted by year (citations)

1 2 next

  1. Achá, Roberto Asín; Nieuwenhuis, Robert: Curriculum-based course timetabling with SAT and MaxSAT (2014)
  2. Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao: Iterative and core-guided maxsat solving: a survey and assessment (2013)
  3. Coelho, José; Vanhoucke, Mario: Multi-mode resource-constrained project scheduling using RCPSP and SAT solvers (2011)
  4. Graça, Ana; Marques-Silva, João; Lynce, In^es; Oliveira, Arlindo L.: Haplotype inference with pseudo-Boolean optimization (2011)
  5. Liu, Guohua; Goebel, Randy; Janhunen, Tomi; Niemelä, Ilkka; You, Jia-Huai: Strong equivalence of logic programs with abstract constraint atoms (2011)
  6. Marques-Silva, Joao; Argelich, Josep; Graça, Ana; Lynce, In^es: Boolean lexicographic optimization: algorithms & applications (2011)
  7. Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto; Stenico, Cristian: Satisfiability modulo the theory of costs: foundations and applications (2010)
  8. Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco: Solving satisfiability problems with preferences (2010)
  9. Horbach, Andrei: A Boolean satisfiability approach to the resource-constrained project scheduling problem (2010)
  10. Aloul, Fadi A.; Ramani, Arathi; Markov, Igor L.; Sakallah, Karem A.: Dynamic symmetry-breaking for Boolean satisfiability (2009)
  11. Bailleux, Olivier; Boufkhad, Yacine; Roussel, Olivier: New encodings of pseudo-Boolean constraints into CNF (2009)
  12. Fujita, Masahiro; Seto, Kenshu; Sakunkonchak, Thanyapat: Dependence graph based verification and synthesis of hardware/software co-designs with SAT related formulation (2009)
  13. Sabharwal, Ashish: SymChaff: Exploiting symmetry in a structure-aware satisfiability solver (2009)
  14. Chaki, Sagar; Strichman, Ofer: Three optimizations for assume-guarantee reasoning with $L^*$ (2008)
  15. Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław: Logic programs with monotone abstract constraint atoms (2008)
  16. Fränzle, Martin; Herde, Christian: HySAT: An efficient proof engine for bounded model checking of hybrid systems (2007)
  17. Ganai, Malay K.; Talupur, Muralidhar; Gupta, Aarti: SDSAT: Tight integration of small domain encoding and lazy approaches in solving difference logic. (2007)
  18. Kautz, Henry; Selman, Bart: The state of SAT (2007)
  19. Liu, Lengning; Truszczyński, Mirosław: Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques (2007)
  20. Marinescu, Radu; Dechter, Rina: Best-first AND/OR search for 0/1 integer programming (2007)

1 2 next