Index of /~choueiry/Documents
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/a.gif)
Hyvonen.ps 1999-08-03 03:12 5.4M
![[ ]](/icons/layout.gif)
Cheng+YapAAAI05.pdf 2005-09-07 19:18 138K
kondrak94theoretical.pdf 2008-03-25 23:47 494K
brelaz.ps 2008-03-25 23:57 775K
ECLiPSeSearch.ps 2008-03-25 23:57 594K
ECLiPSetutorial58.pdf 2008-03-25 23:57 1.5M
Freuder91AA.pdf 2008-03-25 23:57 1.1M
Geelen92.pdf 2008-03-25 23:57 1.0M
kondrak95theoretical.ps 2008-03-25 23:57 159K
Regin94.pdf 2008-03-25 23:57 928K
kondrakvanbeek95.ps 2008-03-25 23:57 1.5M
nFCi-aij02.ps 2008-03-25 23:57 598K
TsangChapter6.pdf 2008-03-26 00:02 2.6M
kondrakvanbeek95.pdf 2008-03-26 00:21 214K
ReginAAAI-1994.pdf 2008-04-07 18:08 955K
BvBAAAI98.pdf 2008-04-09 00:54 114K
cp99-nfc.ps 2008-04-09 00:54 420K
gent-stergiou-walsh-aij2000.ps 2008-04-09 00:54 866K
kumar-survey.pdf 2008-04-09 00:54 702K
![[IMG]](/icons/image2.gif)
new.gif 2008-04-09 00:54 147
gent-stergiou-walsh-aij2000.pdf 2008-04-09 00:58 208K
cp99-nfc.pdf 2008-04-09 00:58 253K
Bartak-review.pdf 2008-04-09 00:59 221K
brelaz.pdf 2008-04-09 00:59 575K
nFCi-aij02.pdf 2008-04-09 01:00 306K
ConstraintSynthesis1978.pdf 2008-04-14 13:50 1.5M
BT-Free1982.pdf 2008-04-14 13:50 1.2M
BT-Bounded1985.pdf 2008-04-14 13:51 1.1M
TreeClusteringDechter1989.pdf 2008-04-14 13:54 3.2M
AC-MackworthFreuder.pdf 2008-04-14 13:58 1.0M
![[DIR]](/icons/folder.gif)
Regin/ 2008-04-17 18:40 -
Choco.pdf 2008-04-24 12:56 302K
Garey+Johnson-ComputerAndIntractability.djvu 2009-01-21 14:22 3.0M
SmithIJCAI05.pdf 2009-01-23 12:01 86K
lispSummary.ps 2009-02-03 22:19 67K
lispSummary.pdf 2009-02-03 22:20 12K
kondrak95theoretical.pdf 2009-02-16 13:41 149K
cp05-beyond.ps 2009-02-18 11:47 197K
Bliek-Haroud-99.ps 2009-02-20 12:14 363K
Game-tree.pdf 2009-02-27 15:17 13K
Game-tree.ps 2009-02-27 15:17 26K
KatsirelosBacchusCP2003.pdf 2009-03-10 19:25 48K
Denmat-Gotlieb-Ducasse-CP07.pdf 2009-03-12 17:59 250K
Sosic-Gu-N-queens-1990.pdf 2009-03-12 18:07 405K
Li-Kowalski-ecai08.pdf 2009-03-12 19:15 222K
Freuder+ElfeAAAI96.pdf 2009-03-24 23:03 173K
Bessiere-Debruyne-IJCAI05.pdf 2009-03-24 23:07 150K
Bessiere-DF-AIJ2008.pdf 2009-03-24 23:12 344K
Montanari-74.pdf 2009-03-24 23:24 2.4M
EDavis-AIJ87.pdf 2009-03-24 23:26 4.4M
Freuder-JACM78.pdf 2009-03-24 23:28 1.5M
Freuder-JACM1982.pdf 2009-03-24 23:30 1.2M
Freuder-JACM85.pdf 2009-03-24 23:31 1.1M
![[ ]](/icons/unknown.gif)
Raju_Jampani.ppt 2009-03-26 10:50 110K
Bessiere-AIJ2005.pdf 2009-03-26 11:00 184K
Jegou-BT-AIJ2002.pdf 2009-03-26 12:20 358K
Jegou-IJCAI07.pdf 2009-03-26 12:28 157K
Jegou-CP06.pdf 2009-03-26 12:30 135K
Jegou-CP05.pdf 2009-03-26 12:32 125K
Jegou-ICTAI08.pdf 2009-03-26 12:34 313K
Dechter-TC-AIJ89.pdf 2009-03-30 12:18 3.2M
Bessiere-nFC-2002.pdf 2009-04-02 12:32 189K
Abramson+Yung-89.pdf 2009-04-08 12:09 1.8M
Mohr+Masini-88.pdf 2009-04-08 12:10 1.6M
Dechter-AIJ90pdf.pdf 2009-04-08 12:11 3.7M
LDS.pdf 2009-04-09 23:39 189K
Gomes98boosting.pdf 2009-04-09 23:44 136K
Walsh-IJCAI99.pdf 2009-04-09 23:47 169K
Meseguer-Torras-2001.pdf 2009-04-22 11:11 318K
Chen-Dalmau-HypertreeCP05.pdf 2009-04-27 10:58 206K
Stergiou-HeuristicsECAI08.pdf 2009-06-10 11:35 89K
straatman_remco_killzone_ai.pdf 2009-07-01 18:12 1.8M
Jegou-AAAI93.pdf 2009-07-26 12:41 1.0M
Koubarakis-tcs-cp95.ps 2009-08-27 15:39 275K
Koubarakis-tcs-cp95.pdf 2009-08-27 15:40 255K
Allen-CACM1983.pdf 2009-08-27 16:09 922K
Hnich-SetCovering.pdf 2009-09-01 16:30 569K
HuangKorf.pdf 2009-09-03 19:03 618K
NeilYorkSmith-2007.pdf 2009-09-03 19:14 263K
vanBeek-Dechter-row-convex.pdf 2009-09-08 23:10 306K
Bessiere-row-convexIJCAI09-078.pdf 2009-09-08 23:15 633K
MackworthFreuder1985.pdf 2009-09-14 16:29 1.0M
Dechter-Pearl1987b.pdf 2009-09-14 17:37 3.1M
Zhang-Freuder-AAAI04-032.pdf 2009-10-01 14:17 142K
Zhang-Freuder-AIJ2008.pdf 2009-10-01 14:24 216K
FreuderAAAI91.pdf 2009-10-01 19:55 1.3M
JegouVilarem.pdf 2009-10-08 11:12 1.7M
JegouVilaremMinGraph.ps 2009-10-08 11:14 2.7M
JegouVilaremMinGraph.pdf 2009-10-08 11:20 1.3M
Haselboeck.pdf 2009-10-08 11:54 172K
Choueiry-Davis.pdf 2009-10-08 11:55 1.3M
Lal-AAAI05.pdf 2009-10-08 11:55 149K
FavierCP2009.pdf 2009-10-08 18:46 268K
TsangTextbook/ 2009-10-09 16:36 -
Bordeaux-ReviewACM.pdf 2009-10-09 19:24 858K
Residues-IJCAI07-Lecoutre.pdf 2009-10-14 15:41 164K
Residues-IJCAI07-Freuder.pdf 2009-10-14 15:43 197K
Zhang-varelimination.pdf 2009-10-14 23:40 565K
KBayerCP07.pdf 2009-10-22 00:36 169K
Moffitt-ICAPS06.pdf 2009-10-29 23:12 161K
Dechter-TCSP-AIJ91.pdf 2009-11-03 12:11 3.5M
MackworthAIJ.pdf 2009-11-04 01:13 2.1M
Mackworth-AIJ77.pdf 2009-11-04 01:14 2.1M
ConsistencyinSAT.pdf 2009-11-17 18:45 307K
PhamIA.pdf 2009-11-17 18:49 5.5M
PhamCP2006.pdf 2009-11-17 18:54 191K
SolutionCountingZanuttini.pdf 2009-11-17 19:06 253K
Pham-IJCAI07.pdf 2009-11-17 19:12 146K
Bessiere-cp06-roots.pdf 2009-11-17 19:13 166K
SATSolvers-KR-book-draft-07.pdf 2009-11-19 19:54 597K
Ostrowski-CP2002.pdf 2009-11-20 00:27 229K
Berry-Triangulation-2004.pdf 2009-11-30 17:10 146K
Flores-Triangulation-2007.pdf 2009-11-30 17:12 2.2M
Kjaerulff-TR-1990.pdf 2009-11-30 17:15 440K
Lecoutre-et-al-CLetters.pdf 2009-12-06 09:44 214K
Chavalit-IJCAI07.pdf 2009-12-06 09:45 197K
Lecoutre-IJCAI07.pdf 2009-12-06 09:47 164K
Colton_cc08.pdf 2009-12-07 17:30 360K
Gyssens86.pdf 2009-12-18 13:02 1.4M
Symmetry-GentPetriePugetFinalDraft.pdf 2010-01-26 15:40 374K
Debruyne-ICTAI1999.pdf 2010-02-02 17:30 173K
Hunsberger-aaai2002.ps 2010-02-02 19:16 365K
Jussien-Lhomme-AIJ2002.ps 2010-02-02 19:16 875K
Lebbah-Lhomme-AIJ2002.ps 2010-02-02 19:16 2.7M
Vickrey-Koller-aaai2002.ps 2010-02-02 19:16 594K
latex_not_so_short_introduction.pdf 2010-02-02 19:16 957K
Lebbah-Lhomme-AIJ2002.pdf 2010-02-02 19:18 257K
Vickrey-Koller-aaai2002.pdf 2010-02-02 19:19 140K
Hunsberger-aaai2002.pdf 2010-02-02 19:19 181K
Jussien-Lhomme-AIJ2002.pdf 2010-02-02 19:19 187K
Hyvonen.pdf 2010-02-02 19:20 345K
Seidel-header.pdf 2010-03-05 18:10 684K
McGregor-header.pdf 2010-03-05 18:11 1.7M
Robertson+Seymour-header.pdf 2010-03-05 18:11 6.8M
Robertson+Seymour.pdf 2010-03-05 18:14 10M
Lecoutre-CP2007pc.pdf 2010-04-13 17:39 208K
Bessiere-HandbookChapter3.pdf 2011-03-06 00:51 1.1M
DechterMeiri-AIJ.pdf 2011-03-10 15:12 3.4M
DechterFrost.pdf 2011-03-15 01:59 148K
ECLiPSeSearch.pdf 2011-03-15 02:26 131K
Koubarakis-HandbookChapter19.pdf 2011-03-16 23:28 201K
Dechter-AIJ90.pdf 2011-03-17 01:27 1.8M
MaxMatching-HopdcroftKarp.pdf 2011-04-15 20:15 1.8M
G12.pdf 2011-04-20 11:23 653K
KvB-aij97.ps 2011-08-23 19:13 222K
KvB-aij97.pdf 2011-08-23 19:17 16M
Milano.pdf 2011-08-23 19:28 253K
Milano.ps 2011-08-23 19:28 253K
Barbara-Smith-95_14.pdf 2011-08-23 20:34 200K
McAllester-Notes.ps 2011-08-23 20:36 163K
McAllester-Notes.pdf 2011-08-23 20:36 168K
SAT+SMT-nieuwenhuis.pdf 2012-01-12 11:04 489K
Hybrid-Prosser.pdf 2012-11-14 13:26 3.9M
BreakoutMorris1993.pdf 2012-11-14 14:38 1.9M
Lecoutre-AAAI2007cdc.pdf 2012-12-13 12:08 372K
Planken-TCSP-literature-survey.pdf 2013-01-09 09:48 952K
Dechter-ANDOR-CP2004.pdf 2013-02-28 10:54 187K
Larrosa-AIJ-04.pdf 2013-03-09 15:01 457K
Dechter-Pearl-1992AIJ.pdf 2013-03-18 14:53 20M
Dechter-UAI1996.pdf 2013-04-04 16:39 211K
Gottlob-CSP-decomp.pdf 2013-04-19 18:58 449K
GAC3-Mackworth.pdf 2014-09-16 19:33 306K
Lecoutre-2008-STR2.pdf 2014-09-16 19:34 506K
Lecoutre-2012-STR3.pdf 2014-09-16 19:34 377K
Lecoutre-Constraints-STR2.pdf 2014-09-16 19:34 1.4M
STR2-Lecoutre-Long.pdf 2014-09-16 19:34 727K
Ullmann2007-GAC.pdf 2014-09-16 19:34 1.7M
Moninder-Singh-ictai95.pdf 2014-10-10 18:49 6.7M
Mohr-Henderson-AIJ-1986-another-copy?.pdf 2014-10-10 19:14 956K
Mohr+Henderson-AIJ1986.pdf 2014-10-13 10:08 1.4M
Bliek-Haroud-99-v2.pdf 2014-10-15 18:16 378K
Debruyne-IJCAI97-SAC.pdf 2014-10-15 19:46 7.3M
BarbaraSmith-IJCAI2005.pdf 2014-10-16 12:28 166K
Arnborg-1985.pdf 2014-10-16 12:28 3.4M
Lecoutre-2011-jair.pdf 2014-10-24 17:57 2.3M
McGregor-1979.pdf 2014-10-24 19:43 2.0M
Tinelli-SATSMT-12.pdf 2014-11-05 18:38 1.1M
Lecoutre-LastConflictAIJ-2009.pdf 2015-02-20 11:31 1.1M
Wallace-NSAC-AIComm2015.pdf 2015-04-03 16:07 211K
Bessiere-AIJ2008.pdf 2015-04-03 16:07 344K
Bessiere-POAC-AAAI14.pdf 2015-04-03 16:08 823K
Freuder-Dispensable-RCRA2014.pdf 2015-04-03 16:10 154K
Lecoutre-CDC-AAAI07-036.pdf 2015-04-03 16:10 154K
Lecoutre-dkwcCPAIOR2014 copy.pdf 2015-04-03 16:10 402K
Jegou-AAAI2015.pdf 2015-04-03 16:10 463K
Jegou-ICTAI2013.pdf 2015-04-03 16:10 494K
CooperEtAl-CP2014.pdf 2015-04-03 16:11 625K
Cooper-CP2014-BeyondConsistency+Substitutability.pdf 2015-04-03 16:11 321K
Duris-alpha-beta-acyclic-2008.pdf 2015-04-07 19:38 237K
Cooper-Jeavons-Salamon-AIJ2010.pdf 2015-04-07 19:39 347K
Jegou-et-al-ICTAI2014.pdf 2015-04-07 19:40 855K
Rossi-Aggregating-CP-Nets-CP2014.pdf 2015-04-19 14:15 247K
Rossi-Chapter2.pdf 2015-04-19 14:15 608K
Rossi-Updates+Uncertainty-2013.pdf 2015-04-19 14:15 206K
Bordeaux-Cadoli-Mancini-JAIR2008.pdf 2015-04-30 16:39 474K
Prosser-MAC-CBJ-TR1995.pdf 2015-05-01 18:00 4.2M
Wallace-nSAC-2015.pdf 2015-09-15 11:54 172K
Stergiou-CP2015.pdf 2015-09-24 13:54 182K
whatisai.ps 2016-01-15 16:50 204K
whatisai.pdf 2016-01-15 16:50 105K
Haralick-Elliott-1980.pdf 2017-02-16 18:20 4.7M
Bennaceur-Affane-partition-k-ac.pdf 2017-12-08 08:07 821K
Boussemart-Hemery-Lecoutre-Ordering.pdf 2017-12-08 08:10 12M
DMitchell-cp03-res.pdf 2017-12-08 08:10 282K
Faltings2006-DisCSP.pdf 2017-12-08 08:12 419K
Dechter-Pearl-AIJ-1988.pdf 2017-12-08 08:13 3.3M
NeilYorkSmith-2007 .pdf 2017-12-08 08:13 398K
Boerkoel-Durfee-JAIR-2013.pdf 2017-12-08 08:13 3.0M
CP-2016-Proceedings.pdf 2017-12-08 08:24 53M
Debruyene-ictai99.pdf 2017-12-08 08:24 1.8M
Lecoutre-CP16.pdf 2017-12-08 08:25 866K
Long-IJCAI2016.pdf 2017-12-08 08:25 641K
Confidential--Cohen-CP_2016.pdf 2017-12-08 08:25 690K
vanDongen-ECAI06-SAC.pdf 2017-12-08 08:25 307K
Verfaillie-AAAI99-Inverse.pdf 2017-12-08 08:25 631K
Prosser-SingletonConsistencies-CP2000.pdf 2017-12-08 08:25 255K
VanHentenryck-Interchangeability-IJCAI.pdf 2017-12-08 08:26 1.8M
Mehta-vanDongen-IJCAI07-021.pdf 2017-12-08 08:26 187K
Lecoutre-eBook-Constraint Networks.pdf 2017-12-08 08:28 12M
Stamatatos-Stergiou-CPAIOR2009.pdf 2017-12-08 08:28 906K
Freuder-ICTAI1991selectiverelaxation.pdf 2017-12-08 08:28 1.2M
Hamadi-Book2013.pdf 2017-12-08 08:29 2.9M
Deville-PC-CRC-AIJ1999.pdf 2017-12-08 08:29 509K
Carbonnel-CooperTractableCSPs-2016.pdf 2017-12-08 08:30 499K
Balafrej IJCAI15.pdf 2017-12-08 08:30 722K
Bessiere-cp13-gic.pdf 2017-12-08 08:30 397K
Dechter+vanBeek-TCS1997.pdf 2017-12-08 08:31 2.9M
vanBeek-Dechter-jacm97.pdf 2017-12-08 08:31 262K
vanBeek+Dechterkr94.pdf 2017-12-08 08:34 13M
Balafrej-Bessiere-AAAI2014.pdf 2017-12-08 08:35 679K
Beeri-JACM-1983.pdf 2017-12-08 08:35 3.6M
Chmeiss-Condotta-2011.pdf 2017-12-08 08:35 222K
MinimalForwardChecking-ICTAI-1994.pdf 2017-12-08 08:35 1.3M
Freuder-KR91.pdf 2017-12-08 08:36 1.8M
Freuder-KR-1991.pdf 2017-12-08 08:36 1.7M
Yoshikawa-Wada-AIPS1992.pdf 2017-12-08 08:37 1.5M
MultiDimensionalConstraitns.pdf 2017-12-08 08:37 1.5M
ChoueiryNoubirSingapor1996.pdf 2017-12-08 08:39 7.4M
![[ ]](/icons/compressed.gif)
RobertsonSeymour.zip 2017-12-08 08:41 9.0M
RobertsonSeymour.pdf 2017-12-08 08:44 9.1M
Seidel-1981.pdf 2017-12-08 08:44 851K
Jegou-Matroid.pdf 2017-12-08 08:45 2.4M
ChmeissJegou--1998.pdf 2017-12-08 08:45 1.4M
Chmeiss Readable.docx 2017-12-08 08:46 2.7M
Bliek-Haroud-99.pdf 2017-12-08 08:46 179K
vanBeek-Dechter-jacm95.pdf 2017-12-08 08:46 308K
icaps08-p3c.pdf 2017-12-08 08:47 150K
Golumbic-Sharon-JACM.pdf 2017-12-08 08:47 1.7M
HogghardestConstraintProblems.pdf 2017-12-08 08:47 253K
Janssen89.pdf 2017-12-08 08:47 598K
Stergiou-IJAIT2008.pdf 2017-12-08 08:47 312K
ChmeissJegou-PC.pdf 2017-12-08 08:48 2.6M
DisjunctiveDecompositionFreuderHubbe.pdf 2017-12-08 08:48 24K
Cheeseman91.pdf 2017-12-08 08:48 1.2M
BessiereReginYapZhang.pdf 2017-12-08 08:49 184K
GAC-Extension-AAAI07.pdf 2017-12-08 08:49 442K
jacm83a.pdf 2017-12-08 08:49 2.0M
TreeClutering-DechterPearl.pdf 2017-12-08 08:50 3.2M
BessiereAC2001.pdf 2017-12-08 08:50 184K
TriangulationDJRose1970.pdf 2017-12-08 08:50 1.0M
MontanariUgo1974.pdf 2017-12-08 08:51 2.4M
Meseguer-AIJ2001.pdf 2017-12-08 08:51 318K
Liu-2007.pdf 2017-12-08 08:51 529K
FindingBugs.pdf 2017-12-08 08:51 208K
VarOrdering-BeckProsserWallace.pdf 2017-12-08 08:51 101K
SatishICAPS05-012.pdf 2017-12-08 08:51 221K
AC4MohrHenderson.pdf 2017-12-08 08:52 1.1M
NeilYorkeSTP.pdf 2017-12-08 08:52 140K
freuder96NInverseConsist.pdf 2017-12-08 08:52 175K
Sam-HaroudFaltings96.pdf 2017-12-08 08:52 323K
ManolisHandbook.pdf 2017-12-08 08:52 201K
DechterPeal-CycleCut.pdf 2017-12-08 08:52 1.1M
McGregor.pdf 2017-12-08 08:53 2.0M
vanBeekijcai03.pdf 2017-12-08 08:53 95K
ChocoFages-2017.pdf 2017-12-08 10:38 504K
Simonis-Viz-CP2010.pdf 2017-12-08 10:47 546K
Bessier-Debruyne-AIJ2008-SAC-BiSAC.pdf 2017-12-15 06:23 390K
Vion-StrongConsistencies-2011.pdf 2019-03-28 12:03 531K
Larrosa-CP2000.pdf 2019-05-11 04:30 351K
intro_to_npc.pdf 2019-11-21 18:11 276K
Smith-Genesereth-AIJ86.pdf 2021-11-18 22:14 2.2M
Kondrak_Theoretical.pdf 2023-05-11 13:31 1.9M
Epstein-Freudercp05workshopfinal.pdf 2023-09-28 17:32 1.0M
Kuipers-QualPhysics.pdf 2024-01-11 15:37 2.9M
Kuipers-Qualitative_simulation_then_and_now.pdf 2024-01-11 15:38 171K
Mizuno-3Col-2007.pdf 2024-01-11 17:50 1.6M
Hayes_1983_Second_Naive_Physics_Manifesto.pdf 2024-01-11 17:51 16M
Boussemart-ECAI-04.pdf 2024-03-21 13:49 132K
Koriche-IJCAI2022.pdf 2024-03-26 14:33 210K
BalafoutisStergiou-CP.pdf 2024-03-26 14:33 218K
Lecoultre-LastConflict-ECAI2006.pdf 2024-04-19 19:52 153K
Zabih-AAAI90-007.pdf 2024-04-25 14:21 938K
Ganesh-2021.pdf 2024-06-20 13:23 29M
GaneshSATDecay-2015.pdf 2024-06-20 13:24 270K
Apache/2.4.51 (Linux/SUSE) Server at cse.unl.edu Port 80